Finite trees as ordinals Herman Ruge Jervell University of Oslo Abstract. Finite trees are given a well ordering in such a way that there is a 1-1 correspondence between finite trees and an initial segment

Source URL: www.researchgate.net

UNIVERSITY OF OSLO Department of Informatics Deadlock checking by a behavioral effect

Source URL: heim.ifi.uio.no

THE ESSENCE OF SUBCLASSING Ole Lehrmann Madsen1, Birger Møller-Pedersen2 1 The Alexandra Institute & Aarhus University Department of Informatics, University of Oslo, Oslo, Norway

Source URL: www.it.uu.se

THE UNIVERSITY OF OSLO ST. PETERSBURG REPRESENTATIVE OFFICE ПРЕДСТАВИТЕЛЬСТВО УНИВЕРСИТЕТА ОСЛО Г. САНКТ-ПЕТЕРБУРГ 191015, Санкт-Петербург, Калужский

Source URL: www.st-petersburg.uio.no

Woronowicz Tannaka-Krein duality and Free Orthogonal Quantum Groups Sara Malacarne University of Oslo Department of Mathematics

Source URL: www.wiko-greifswald.de

UNIVERSITY OF OSLO Department of Informatics OUN: A Formalism for Open, Object

Source URL: folk.uio.no

Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition

Source URL: folk.uio.no

Name relatedness and imageability Marianne Lind, Hanne Gram Simonsen, Pernille Hansen and Elisabeth Holm Department of Linguistics and Scandinavian Studies, University of Oslo, Norway Verbs are generally less imageable t

Source URL: www.hf.uio.no

Across the Pacific The 20th annual conference of the New Zealand Studies Association, together with the Norwegian Maritime Museum and the Kon-Tiki Museum, Oslo in association with the University of South Australia

Source URL: www.nzsa.co.uk

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Source URL: folk.uio.no

• Theoretical computer science
• Mathematics
• Programming language theory
• Logic in computer science
• Mathematical logic
• Asymptotic analysis
• Logic programming
• Type theory
• Unification
• Rewriting
• Rewrite order
• Term